Rename fletch -> dartino

src/pkg/power_management/power_management_extension_linux.cc

Index: src/pkg/power_management/power_management_extension_linux.cc
diff --git a/src/pkg/power_management/power_management_extension_linux.cc b/src/pkg/power_management/power_management_extension_linux.cc
index eae4f93332ae73ef10b113c4d9377f1d5d09e6ce..6b0b078e1f33a269f0ca51203e046d8cf2822252 100644
--- a/src/pkg/power_management/power_management_extension_linux.cc
+++ b/src/pkg/power_management/power_management_extension_linux.cc
@@ -2,7 +2,7 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
-#if defined(FLETCH_TARGET_OS_LINUX)
+#if defined(DARTINO_TARGET_OS_LINUX)
 
 #include <stdio.h>
 #include <stdlib.h>
@@ -24,4 +24,4 @@ void HandleEnableSleep(int64_t disable_id) {
   // Currently not implemented on Linux.
 }
 
-#endif  // FLETCH_TARGET_OS_LINUX
+#endif  // DARTINO_TARGET_OS_LINUX