MonetDB bug tracker has moved to github