This also disables the unnecessary GUI builder and fixes a problem with
the syntax highlighter.

Tested as working on Samsung XE50013-K01US.