Made Gpdiff work for all platforms