Seems like the correct header name is SDL.h, not SDL/SDL.h