fix HACKING filename