update name of FSM for windw users