make travis config work