Front-end of ABT on Linux