Update packaging list, fix more Jenkins CI issues