with 64-bit compiled files