fix the {OpenGrok name