scungao/dreal-next not found