reverted the change in the top level Makefile made in 08e48a67b8af88496d6d43c59b1f2eb7e8fcec3e