scripts/diffconfig.sh: ensure config/conf is built