more for SDLtoECConvert.py