Definitely; will look into fixing (and likewise with the ranlib
issue). If anyone else wants to look at it, that's good too.
> --
> You received this message because you are subscribed to the Google Groups "aldor-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
aldor-devel...@googlegroups.com.
> For more options, visit
https://groups.google.com/d/optout.