fix compilation when VERBOSE is used