SPARK1 uses project files maintained by Juff for build. SPARK2 uses CMake, so you can configure the build to suit your needs.
So, you compile once, and it works on one computer and not the other ? maybe wrong dependencies are loaded (runtime, kernel32, etc...).
The problem is that "_fu1___ZN3SPK10randomSeedE" is not a mangled name. It's "_ZN3SPK10randomSeedE", and more important, it's not a function, but a global variable...
Either there is a bug in gdb or in gcc, maybe in the installation of the compiler.