this patch is fixed in upstream
fricas : change to out-of-source build
autotools-utils.eclass tricks
clean up a bit