Fix linux build broken by last commit.