Thanks for taking a look at the problem!
My code compiled fine locally on two totally different platforms.
If there is a problem building it on your servers then it’s likely to be a problem with configuration of the build.
Since the build server never gave me feedback and I submitted with enough time to fix any problems which could have arose during submission I think that it would only be fair to allow me to make build configuration changes to get a successful build if necessary.
I could do this by supplying a patch file which only effects the build definition or we could work out some other way of verifying that I didn’t change the bot itself.
What do you think?