Rename EmpresaPetrolera.pl to empresaPetrolera.pl