Use simpler .platform-linux class in menu selector