another attempt to fix travis config