release 0.7.1 (based on 0.7.0-56-g0db39c9)