The instructions at Compiling and running the application are correct, with the exception that there's never a need to link in the SpecTcl compatibility layer.