fix bash syntax
fix bash syntax

mitdrc/director,patmarion/director,patmarion/director,mitdrc/director,manuelli/director,openhumanoids/director,mitdrc/director,manuelli/director,openhumanoids/director,openhumanoids/director,mitdrc/director,manuelli/director,patmarion/director,patmarion/director,manuelli/director,manuelli/director,patmarion/director,mitdrc/director,openhumanoids/director,openhumanoids/director