Fix mocha launcher, src_file list