#23: added archive extension