Fix for updating config.h in Debian