Fix #6 (stupid setup scripts)