Use napi in ref and ref-array as well. Peg dependency versions

package.json

@@ -5,10 +5,10 @@
   "main": "./bin/Z3.js",
   "dependencies": {
     "eslint": "^5.16.0",
-    "ffi-napi": "*",
+    "ffi-napi": "^4.0.3",
     "node-gyp": "*",
-    "ref": "*",
-    "ref-array": "*"
+    "ref-napi": "^3.0.2",
+    "ref-array-napi": "^1.2.2"
   },
   "devDependencies": {
     "@babel/cli": "^7.4.4",
@@ -19,7 +19,7 @@
     "prepublish": "./scripts/setup",
     "postinstall": "./scripts/postinstall",
     "build": "./scripts/postinstall; ./scripts/setup",
-    "test": "Z3_PATH=./bin/libz3.dylib ./test"
+    "test": "Z3_PATH=./bin/libz3 ./test"
   },
   "repository": {
     "type": "git",

templates/pre_ref_bindings.js

@@ -5,8 +5,8 @@
 
 // The core of the node.js API for Z3. This file could be mostly autogenerated by Z3 scripts. Currently
 // only the function bindings are, not the types
-var ref = require('ref');
-var ArrayType = require('ref-array');
+var ref = require('ref-napi');
+var ArrayType = require('ref-array-napi');
 
 module.exports = function(libPath) {