still tweaking travis-ci config