Rename 1.hs to 001.hs