Now travis file has the correct name