Of course Travis cannot cope with the proper file extension