Fix compilation of apron-svn