retry select.select() on EINTR