Delete nonopt.js