Fix install procedures thanks to @tbordini