Rename 45_tripenhex.rb to 045_tripenhex.rb