Add a small hack so the "make check" ignores any local CONFIG file.