Add patch to fix FTBFS under debian unstable.