Detect OS in Makefile, and generate correct symbols in asm