Update Linux build script for Ubuntu 13.10