Fix another whiny build error