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 f1e60d75309990b25a1763e004d7044c77c53834.