--- src/arduino.cc/builder/utils/utils.go.orig  2021-01-13 22:48:24.097459000 +0800
+++ src/arduino.cc/builder/utils/utils.go       2021-01-13 22:49:18.264758000 +0800
@@ -404,7 +404,7 @@ func NULLFile() string {
        if runtime.GOOS == "windows" {
                return "nul"
        }
-       return "/dev/null"
+       return "/tmp/null"
 }
 
 func MD5Sum(data []byte) string {