fix options tool bar height under linux, disable screencast tool