First version of linux binary verifier