Make sure we don't override the user's extension search path.