
After talking with Pieter he changed my mind about this, it is better to have a simpler install script that works everywhere, and the complex one can be always executed if needed by hand. We'll make possibly a new target for the full featured installation script, and even suggest it after a Make install. This reverts commit 51154dc772039fe633427e61d17b828d648329ff.