jack/config/os/gnu-linux
