Update and rename p05 to p05.erl