Ahhh bien!!! no tengo esa horrible versión GTK, pero veo tus indicaciones me sirvieron, en la versión SDL2 es F12 --> Machine settings --> Select PET model --> 4016
Yo sigo sin poder hacer funcionar el juego, tendré que probar con otra versión de Vice :(
