Delete dotc_helper.js