Rename p12.hs to pe/p12.hs