libgcc1 1:4.9-20140321-0ubuntu1 (i386 binary) in ubuntu trusty