first-aid for HAVE_SPHINX