Some package fixes and CI configuration