Thanks! I'll look at this better. BTW I think the root INSTALL file needs also to be updated to reflect this change.
-- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dbupa2beiEEpb7LR1pn-WWzORpFwyTR7cEDLF1NoeXaww%40mail.gmail.com.
