debian/0001-cc-builtins.patch
debian/0002-disable-sse.patch