A patch in the FreeBSD port provided a hint towards a possible solution. Indeed, the solution checks out and armagetronad now works again. ports-gcc is happy with the build too.