Recompile these because the 32/64-bit pointer access bug is back