anchor.diff: -{ stdenv, fetchurl, makeWrapper, autoconf, automake, boost, file, gettext
  +{ stdenv, fetchurl, makeWrapper, boost, file, gettext
   , glib, glibc, gnome_keyring, gtk, gtkmm, intltool, libctemplate, libglade
   , libgnome, libsigcxx, libtool, libuuid, libxml2, libzip, lua, mesa, mysql
   , pango, paramiko, pcre, pexpect, pkgconfig, pycrypto, python, sqlite
  
positive.code: 
  stdenv.mkDerivation rec {
    pname = "mysql-workbench";
    version = "5.2.31a";
    name = "${pname}-${version}";
  
    src = fetchurl {
      url = "http://mirror.services.wisc.edu/mysql/Downloads/MySQLGUITools/mysql-workbench-gpl-${version}-src.tar.gz";
      sha256 = "0mvjpin2qmnr8ksiknpcmlqjh5r3mafjcjdrnzbccyxc6r55xiy3";
    };
  
    buildInputs = [ autoconf automake boost file gettext glib glibc gnome_keyring gtk gtkmm intltool
      libctemplate libglade libgnome libsigcxx libtool libuuid libxml2 libzip lua makeWrapper mesa
      mysql paramiko pcre pexpect pkgconfig pycrypto python sqlite ];
  
    preConfigure = ''
      substituteInPlace $(pwd)/frontend/linux/workbench/mysql-workbench.in --replace "catchsegv" "${glibc}/bin/catchsegv"
  
      ./autogen.sh --prefix=$out
    '';
  
    postInstall = ''
  
negative.code: ) &
  
  exec 19> $FIFOCTL
              '
    '';
  
    meta = with stdenv.lib; {
  