Explicitly include Lib.Vault.php in Doc::vaultRegisterFile (closes #4272)