diff --git a/nix/psmt2-frontend.nix b/nix/psmt2-frontend.nix
index f0502c4bc77a22681c24d7b04d9354fcd127770d..98836906d462ecce7f597e8e99df178b5c97fbe4 100644
--- a/nix/psmt2-frontend.nix
+++ b/nix/psmt2-frontend.nix
@@ -1,5 +1,5 @@
 { callPackage
-, fetchzip
+, fetchFromGitHub
 , lib
 , stdenv
 , ocaml
@@ -13,11 +13,12 @@ stdenv.mkDerivation rec {
   pname = "psmt2-frontend";
   version = "0.1";
 
-  src =
-    fetchzip {
-      url = "https://github.com/Coquera/psmt2-frontend/archive/0.1.zip";
-      sha256 = "0k7jlsbkdyg7hafmvynp0ik8xk7mfr00wz27vxn4ncnmp20yz4vn";
-    };
+  src = fetchFromGitHub {
+    owner = "Coquera";
+    repo = pname;
+    rev = version;
+    sha256 = "0k7jlsbkdyg7hafmvynp0ik8xk7mfr00wz27vxn4ncnmp20yz4vn";
+  };
 
   nativeBuildInputs = [
     autoreconfHook
@@ -38,8 +39,6 @@ stdenv.mkDerivation rec {
 
   installFlags = "LIBDIR=$(OCAMLFIND_DESTDIR)";
 
-  installTargets = [ "install" ];
-
   meta = {
     description = "A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language";
     license = lib.licenses.asl20;