[ --with-runtime-dir Runtime directory (current working directory if not given)],
[ RT_BASE_DIR="${withval}" ],
[ RT_BASE_DIR="$RT_BASE_DIR_DEFAULT" ])
[ --with-runtime-dir Runtime directory (current working directory if not given)],
[ RT_BASE_DIR="${withval}" ],
[ RT_BASE_DIR="$RT_BASE_DIR_DEFAULT" ])