made print.{c,asm} work under gnu toolchain