janitorial: Use poll() instead of select().