Fix compilation error with newer Idris
putErrLn should be partial instead of assert_total
Fix crash after CGEventTap timed out