Since https://github.com/stm32duino/Arduino_Tools/issues/6 double quoted list could be used. Still an issue on Linux.