I just took a look at the other tool you mentioned and posted a reply to your comment to help out! Hopefully the comment I posted helps you get that one installed too as well! :D Happy pixeling!
