// This way, it is possible to control audio functionality using physical
// pots and faders instead of the mouse.
+#include <stdint.h>
+
#include <atomic>
#include <functional>
#include <map>
#include <memory>
#include <mutex>
#include <string>
-#include <thread>
#include "defs.h"
#include "shared/midi_device.h"