Fix tests for 64 bits on OSX