Fix some dead links, spotted by x86_64