Make use of the new dumpdecrypted binaries

Closes #13