BUGFIX: add missing source file State.cpp