setup.sh could now work (not tested yet)