Revert "Add missing PREFIX to a few lines of the Makefile. (Thomas Keller)"