Make git happy ...
Merge branch 'valgrindrr_porting' of https://github.com/u1240976/valgrindrr into valgrindrr_porting