always move z3 into place so Setup.hs doesn't fail