the author of c64os uses turbo macro pro, so all the include files are in tmp format. there was an un-official kick-assembler port floating around, but i don't know if it's still updated.