This change must have been newer, fixing an old bug?  Titles do not show up correctly otherwise, so presuming the casts to int were also more recent.  Adding the utf-8 encoding because GLFW supports it.