Travis CI: don't use MAKEFLAGS, as it's actually used by make for default flags