added implicit conversion for CompressedFile to File