patch not necessary anymore, it was fixed upstream