/shell/

oes not need to be specified ther...bapt2013-03-101-7/+3 * Fix typos in COMMENTcs2012-07-251-1/+1 * Convert to new options frameworkbapt2012-06-121-9/+9