abinfo "Checking fricas build..."
cd "$BLDDIR"
make check
