more permissive terminal option parsing (default terminal is used if none is specified)