Don't load function buffers and call debugf() unless debugging is actually specified. Fixes #4531.