Taking care of symbols defined in mp_wyzw.c