debian/0001-cc-builtins.patch
debian/0002-disable-sse.patch
debian/0003-mips32-libatomic.patch