remove exec.js, fixes #3312