Deployed GNU Robbo version https://github.com/cfiet/gnurobbo/commit/1530b4e2b92aae2f38bb84d5c9b6cf8dfb84bbf6