remove duplicate name in CONTRIBUTORS file