Revert "small changes to the makefile"

This reverts commit f321b061a966aeaf16feb36456df7ca187f69bb8.