jenkins: use the dev version of macaque