Fix development and CI configurations