Our makefile can be improved (probably). [Some reference](http://www.gnu.org/software/make/manual/make.html#Reading).