Update and rename p09 to p09.erl