properly set up travis