Use GZIP_EXT instead of an hardcoded ".gz" extension in sga-filter