fix IDE (64-bit) to use 64-bit tools