#!/bin/bash

bin=$(basename "$0")
dir=$(realpath -s $(dirname $(realpath "$0"))/../usr/bin)
echo cd "$(pwd)" "&&" "$0" -D_GLIBCXX_USE_CXX11_ABI=0 "$@" >> /tmp/commands
$dir/$bin -D_GLIBCXX_USE_CXX11_ABI=0 "$@"