Fix names for Oslo libraries