Fix alethzero build