Update and rename p07 to p07.erl