Various updates for Ubuntu 14.04