diff --git a/smtsolver.js b/smtsolver.js
index c263d105..d1fa87ff 100644
--- a/smtsolver.js
+++ b/smtsolver.js
@@ -1,6 +1,6 @@
 var commandExistsSync = require('command-exists').sync;
 var execSync = require('child_process').execSync;
-var fs = require('fs-extra');
+var fs = require('fs');
 var tmp = require('tmp');
 
 var potentialSolvers = [