'prefix' avoids potentially making people confuse 'path' with $PATH.