fixes https://github.com/jaredp/OS161-Web-GDB/issues/9