what is the name when the license is gpl and the current version is 1.72?
atari++