Upgrade: sepkg 4.2b3