index redirects to ./roboc index