symbols control file for libcvc3-5