Fix problem where config.h wasn't getting the right directory when Jenkins built it.