fix libsdl manifest