This wasn't to me, but my problem is exactly the same, and yes the library was installed.
I figured that out the renaming thing on my own, but still cannot get anything outside of TEAM A.R.G. to work, including Glove. Looks like a cool came, sucks I can't try it.
Again, this comment was not to me; However, I've placed the glove folder for instance in every folder/subfolder within the "Adruino" and "Arduboy" folder to see if that mattered. I've placed all TEAM A.R.G. games in the "examples" folder and run them from there without a problem.