Remove unnecessary line from Ur/Web configuration file