Saiu a versão 18.07.13, que promete corrigir esse erro do select no MAME, fazer a atualização já deve resolver o seu problema.