Makefile made more Ubuntu-friendly