am 31f42ba0: Tiny clean up in Makefile

* commit '31f42ba0c2a9ed073ca6dfed9d4344ca22d6e23d':
  Tiny clean up in Makefile