fixed options::proof() segfault