Correct paths in HACKING file