Making Python virtualenv play nice with Jenkins