Upgrade sepkg 3.8