hopefully fixed Feel++ installation process breakage