HomePhabricator

Fix cmake file broken by D38277.