Play nice with Ubuntu 14.04