there is weirdness compiling with g++-4.8, segfaults in cvode function?