race: pgmplusplus moved to github, renamed to upgmpp