cleaner writing of the default HTTP read timeout values