Build fix for Ubuntu on AMD64.