#!/bin/bash
python2 runtime/recompile.py "$@"