Waldek patch https://groups.google.com/d/msg/fricas-devel/XtpuwPuFl0c/EJIOL1dPii0J
Waldek patch Makefiles