documentation/hacking: fixed solution file name