I had asked the same question a while ago on the list, but got no answer.
I then asked Martin during a private exchange and he told me he had fixed it. There was indeed a commit about this, but only on default:
http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=7e3d47e35e64
Roberto
Ps. I would really like to have it back on Jul 2015 :)