Merge branch 'issue/17' into 'master'

Issue #17: Fix MonetDB compatibility issues

See merge request !24
2 jobs for master in 1 minute and 2 seconds (queued for 3 seconds)
latest