hopefully fixes config.h problem