Rename 8.hs to 008.hs