OPTS="-DWITH_LEDA=OFF $OPTS" && default_build