Workaround for #1264. Downgrade pip to 1.5.6