I cant seem to change console font size(resolved)

I thought this would be pretty easy. I went into
game/core/art/gui/profiles.cs
and changed this:

singleton GuiControlProfile( GuiConsoleProfile )
{
fontType = ($platform $= "macos") ? "Monaco" : "Lucida Console";
//fontSize = ($platform $= "macos") ? 13 : 12;
//following line should implement new font size
fontSize = ($platform $= "macos") ? 13 : 16;

as indicated by the comments

But got the following message in the console (in addition to no change in font size):

Failed to create resource: [core/fonts/Lucida Console 16 9ansi0.uft]

So then I changed this as well:

singleton GuiControlProfile( GuiConsoleTextEditProfile : GuiTextEditProfile )
{
fontType = ($platform $= "macos") ? "Monaco" : "Lucida Console";
//fontSize = ($platform $= "macos") ? 13 : 12;
//added line below to attempt to increase font size
fontSize = ($platform $= "macos") ? 13 : 16;
};

still, no change in font size. I don't know what else to try to change. And yes, I know 16 is way too big :-), but I just wanted to see a huge change before I fine tuned it. Can anyone please lend a hand?