Deployement of GNU Robbo version
https://github.com/cfiet/gnurobbo/commit/5f9f117a5e2f27b54dad387436304faa072b12f4