Fix options for Travis CI build