Fix launch-casslr script