/* File is compressed! */