changed ubuntu repo and bumped libgcc