Fix libsyntrocore patch