Fix linking error

Template functions must be entirely written in header but gatb-core has worked around this by cmake-generated templates. "Hard-code" some gatb-core variables.