Added -mask_ceil option to extracttag