Changed encoding of travis build file because TravisCI reckons it cannot find it