Tweak devel/gps version 5.0.1_1