fix documentation to use the "hacked" proot binary