Fix portability of Makefile