BOSS uses BWAPI 4