add_custom_target(alethzero)