Modify the path to state-threads lib into var in  Makefile