revert to @reproducible version

As discussed with Matti. This one at least boots...