Remove unnecessary line from src/gui.c