issue #524: remove unnecessary sdl-config script.