Fix profile_ram_ppzksnark

[aleksejspopovs]

This pull request resolves one namespacing issue that prevented profile_ram_ppzksnark from being compiled and one minor logic bug.