Fix bad travic-ci config