gdbgui source: source-is-missing gdbgui/static/*
