Repaired the case sensitivity of the object of some directives.

  OBJEXT=.obj  now works correctly.

  Tightened up the code for a minor speed gain.