Fix DEFAULT_FILE