Fix Makefile.sfmt for Travis CI