put a version on rekall so pypi doesn't barf