Removed an old shared library from linux.sh.