Adjust ISO name for grml32