Minor tweak to the Makefile for Travis compatibility