The mapready_jenkins target fails on the build machine

And it is no longer needed anyway, we can use the regular target.