Work around a bug in Ubuntu 14.04 version of pip