turns out we do need -static-libgcc etc. on Linux