Move rabin stuff into the burp2 directory.