Thunk16.s has not been ported to GCC. This will at least get past the assembler.