debian/0001-shm-directory.patch
debian/0002-flush-startup-output.patch
