shouldn't we be uninstalling libgecode + libgedode-dev and using the bundled version, or are we just not quite there yet?