Fix libouroboros-python