turn read_timeout option into an int