Corrigiendo el check-p4.py, añadiendo el fichero que falta