Makes the tool run with my 64-bit setup.