Whitespace change in Travis script to hopefully fix "no such file" error