Bugfix for not finding googlemock headers.