Fix a problem with timeout in Linux.