Fix filefilter.txt when using Travis