rename CONFIG_SDL -> HAVE_SDL