Use the proper travis filename