restore cursor on Ubuntu