fix tarball eval

pkgs/development/compilers/mozart/binary.nix

@@ -1,5 +1,7 @@
 { stdenv, fetchurl, bash, makeWrapper, coreutils, emacs, tcl, tk, boost, gmp, cacert }:
 
+assert stdenv.isLinux;
+
 let
   version = "2.0.0";
 in
@@ -23,6 +25,6 @@ stdenv.mkDerivation {
     description = "The Mozart Programming System combines ongoing research in programming language design and implementation, constraint logic programming, distributed computing, and human-computer interfaces. Mozart implements the Oz language and provides both expressive power and advanced functionality.";
 
     license = licenses.mit;
-    platforms = platforms.unix;
+    platforms = platforms.linux;
   };
 }