elpuri/shitty-RISC not found