DefaultViewController is globally available