extract_file( $file, [$extract_path] )