Buscar archivos PHP y reemplazar los '<?' por '<?php', en Linux