fix missing OK button on linux