Fix Noux GDB command line arguments

Part of #928.