removed compilation files, some fixes to RSA.bsv