docs: Update directory where 'redpile' executable is generated