Delete Sdl_tools.ml