fix the path to ../build/z3-built

Signed-off-by: Nikolaj Bjorner <[email protected]>

src/api/js/src/jest.ts

@@ -3,7 +3,7 @@
 // @ts-ignore no-implicit-any
 import { createApi, Z3HighLevel } from './high-level';
 import { init as initWrapper, Z3LowLevel } from './low-level';
-import initModule = require('../z3-built');
+import initModule = require('../build/z3-built');
 
 export * from './high-level/types';
 export { Z3Core, Z3LowLevel } from './low-level';