Tweak devel/gps version 5.2.1