Makefile compatibility with Ubuntu.