Modify configuration for travis ci