Fixed tools/Linux/build-deps.bash to compile in Ubuntu 14.04 64bit. We need to check if older Linux distributions need fixing as well.