diff --git a/toolchains/arduino/org.eclipse.cdt.arduino.core/src/org/eclipse/cdt/arduino/core/internal/build/ArduinoBuildConfiguration.java b/toolchains/arduino/org.eclipse.cdt.arduino.core/src/org/eclipse/cdt/arduino/core/internal/build/ArduinoBuildConfiguration.java
index 7f1dc360eb6..044aa2065f8 100644
--- a/toolchains/arduino/org.eclipse.cdt.arduino.core/src/org/eclipse/cdt/arduino/core/internal/build/ArduinoBuildConfiguration.java
+++ b/toolchains/arduino/org.eclipse.cdt.arduino.core/src/org/eclipse/cdt/arduino/core/internal/build/ArduinoBuildConfiguration.java
@@ -416,6 +416,11 @@ public class ArduinoBuildConfiguration extends CBuildConfiguration {
 		Properties properties = getProperties();
 		properties.put("runtime.tools." + toolName + ".path", pathString(tool.getInstallPath())); //$NON-NLS-1$ //$NON-NLS-2$
 		properties.put("serial.port", serialPort); //$NON-NLS-1$
+		if (serialPort.startsWith("/dev/")) {
+			properties.put("serial.port.file", serialPort.substring(5)); //$NON-NLS-1$
+		} else {
+			properties.put("serial.port.file", serialPort); //$NON-NLS-1$
+		}
 		// to make up for some cheating in the platform.txt file
 		properties.put("path", "{tools." + toolName + ".path}"); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$
 		properties.put("cmd.path", "{tools." + toolName + ".cmd.path}"); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$