(defun compile-ngrobner ()
  "Compile/load NGROBNER package files without ASDF. The order of files is
 important!"
  (dolist (file '("utils" "monomial" "ring"
		  "order" "term" "termlist" "polynomial" "priority-queue"
		  "pair-queue" "division" "criterion" "buchberger" "gebauer-moeller"
		  "gb-postprocessing" "grobner-wrap" "ideal" "ngrobner-package" "ngrobner"))
    (compile-file file :verbose t :print t)))