Вообщем, как оказалось, простого копирования сего файла в папку x86_64-alt-linux/ оказалось недостаточно. Как можно включить макросы для сей платформы?