eximconf: add a macro to check if the user wants "default options"