Fix build error with wrong name from cached cmake file