Some last issues to fix before making the new toolchain the official pdf source.