do-release.sh: change citadel.h to citadel_defs.h