ARM.inc should have lower precedence than Make.user