Fixing issues with the bootstrap scripts for Ubuntu 14.04.