/* placeholder: original file not available in archive */