fix pmake build for 64-bit hosts