Sandbox makefile: Workaround for binutils-2.23.2 broken makeinfo.