Fix IE compatible issue on production builds

This is a patch release, fixing a IE 9/10 compatibility issue; a parse error that would happen in production builds that used steal-tools.