--- a/platformio.ini	Sat Oct 29 23:44:31 2016 +0200
+++ b/platformio.ini	Wed Jan 18 23:19:13 2017 +0100
@@ -22,21 +22,16 @@
 framework = mbed
 board = nucleo_f446re
 upload_port = /media/sdb
+build_flags = -DHAVE_PC
 lib_compat_mode = 0
 
-[env:f303k8]
-platform = ststm32
-framework = mbed
-board = nucleo_f303k8
-upload_port = /media/sdb
-
 [env:l432kc]
 platform = ststm32
 framework = mbed
 board = nucleo_l432kc
 upload_port = /media/sdb
 lib_compat_mode = 0
-build_flags = -DDEBUG -DDEBUG2 -DHAVE_PC
+build_flags = -DHAVE_PC
 
 # [env:nucleo_f031k6]
 # platform = ststm31