New options `-t': timeout