Package viptool.extension