Properly name Travis config file²