Don Reid writes:

It looks like the linux binary is just used if a system map file cannot
be found.  So I changed the make file to remove it.