Fix another setup bug. I am not good at bash