added back 4.2-generated.rb