Remove the 'int' in the scope from the Choco output. Fix for http://gsd.uwaterloo.ca:8888/question/1196/inclusion-of-int-scope-in-compiled-js-file.