Fix derp. #493

Job	Run time
Build windows-latest \|\| SHARED=OFF \|\| PLATFORM=GLFW	23m 56s
Build windows-latest \|\| SHARED=OFF \|\| PLATFORM=libretro	15m 9s
Build windows-latest \|\| SHARED=OFF \|\| PLATFORM=KHR_DISPLAY	14m 33s
Build windows-latest \|\| SHARED=ON \|\| PLATFORM=GLFW	14m 47s
Build windows-latest \|\| SHARED=ON \|\| PLATFORM=libretro	16m 4s
Build windows-latest \|\| SHARED=ON \|\| PLATFORM=KHR_DISPLAY	27m 0s
Build ubuntu-latest \|\| SHARED=OFF \|\| PLATFORM=GLFW	24m 15s
Build ubuntu-latest \|\| SHARED=OFF \|\| PLATFORM=libretro	16m 19s
Build ubuntu-latest \|\| SHARED=OFF \|\| PLATFORM=KHR_DISPLAY	24m 52s
Build ubuntu-latest \|\| SHARED=ON \|\| PLATFORM=GLFW	24m 34s
Build ubuntu-latest \|\| SHARED=ON \|\| PLATFORM=libretro	20m 15s
Build ubuntu-latest \|\| SHARED=ON \|\| PLATFORM=KHR_DISPLAY	24m 8s
	4h 5m 52s

Provide feedback