remove file IntConst.rb