debian/0001-flush-startup-output.patch
