Use correct extension for ignoring Travis config