Minor Makefile improvements for Linux.