tehai.rb: missing require