Да, проблема на x64 происходит из-за того, что конвертер bin2trd — досовый. Давно хочу от него избавиться. Пока что переделал батники ZXDev/Obj/HelloWorld.bat и ZXDev/Obj/TinyHello.bat чтобы собирать TAP'ы другой утилитой — bin2data. Она умеет вставлять машкод в бейсик-загрузчик после REM (или в виде DATA), поэтому с её использованием есть трудности в случае большой программы и низкого значения RAMTOP (как в LaserDemo). Так что утилита bin2data — временное решение, до тех пор пока не будет готова утилита MakeZX, которая по задумке более универсальна.