undo 64bit change, so that jenkinses can work