proper file extension for travis