Last fix for travis-ci config