Correct GUI bug (under Linux, Options menu didn't appear)