binding on the alias of the gecode framework (and not on the versionned file)