diff --git a/TOBEDEFINED b/TOBEDEFINED
deleted file mode 100644
index 183ed99a32e6e0a713d36d706f02f41e871ce9bf..0000000000000000000000000000000000000000
--- a/TOBEDEFINED
+++ /dev/null
@@ -1,7 +0,0 @@
-*) Incrementare la velocita' della seriale a 38400 (o il massimo che supporta) controllando che le risposte avvengano effettivamente piu' velocemente che quando a 9600
-
-*) Ha senso pollare ad alta priorita' la pressione di un canale OFF?
-
-*) Indicazione sullo stato da riportare tra i tre disponibili del 4uhv (Serial, Local, Remote), i quattro dell'IPCMIni (Serial, Local, Remote, LAN) ed i tre del DUAL (Serial, Local, Remote). Inoltre su tutti mettere "Serial comm." quando in Remote.
-
-*) Notazione scientifica per pressioni e correnti: Va bene anche su Jive o le si viogliuono solo sul pannello?
diff --git a/deps/ionpump b/deps/ionpump
index 2f9df3b698a4524c252c6c09232c8bde79daa606..c27688838e05b80b7d89af4394560e7aae2a56cf 160000
--- a/deps/ionpump
+++ b/deps/ionpump
@@ -1 +1 @@
-Subproject commit 2f9df3b698a4524c252c6c09232c8bde79daa606
+Subproject commit c27688838e05b80b7d89af4394560e7aae2a56cf
diff --git a/deps/socket2 b/deps/socket2
index ed75bef6f9cb2d4761916ec41873b96cf2af95d3..bb9a27ed07c1e55b56da991632dd913bc58b953e 160000
--- a/deps/socket2
+++ b/deps/socket2
@@ -1 +1 @@
-Subproject commit ed75bef6f9cb2d4761916ec41873b96cf2af95d3
+Subproject commit bb9a27ed07c1e55b56da991632dd913bc58b953e