[dev] fix travis setup