Add changes in XML3DBuild which were forgotten from previous commit.