Update and rename p01 to p01.erl