On 08/08/2013 11:52 AM, Dmitry Samersoff wrote: > For some unknown for me reason, macros in bsd_x86_64.s is not processed. > (Makefile issue???) It should be called bsd_x86_64.S if this is using GCC. Andrew.