"undefined reference" linkage errors in FiniteAutomaton.h