these files, for the moment, get past gcc4