{ pkgs ? import <nixpkgs> {} }:
(pkgs.buildFHSUserEnv {
  name = "ctf-env";
  targetPkgs = pkgs: with pkgs; [
    coreutils
    binutils
    file
    gmp
    mlton
  ];
  multiPkgs = pkgs: with pkgs; [
    stdenv
  ];
  runScript = "bash";
}).env