Tweaks of the build wrapper scripts; wconfigure-vanilla does not add CFLAGS=$CFLAGS to the configure
command arguments, wconfigure does.