64bit executable for testing