Wow, that setup.sh totally did not work properly any more...