Update and rename proyecto to proyecto.c