diff --git a/nuttx/configs/pcblogic-pic32mx/tools/mkpichex.c b/nuttx/configs/pcblogic-pic32mx/tools/mkpichex.c
index c15a275643..3cd8c81872 100644
--- a/nuttx/configs/pcblogic-pic32mx/tools/mkpichex.c
+++ b/nuttx/configs/pcblogic-pic32mx/tools/mkpichex.c
@@ -298,7 +298,7 @@ int main(int argc, char **argv, char **envp)
 
   /* Remove the original nuttx.hex file */
 
-  if (remove(srcfile) != OK)
+  if (remove(srcfile) != 0)
     {
       fprintf(stderr, "Failed to remove the old '%s'\n", srcfile);
     
@@ -306,7 +306,7 @@ int main(int argc, char **argv, char **envp)
 
   /* Rename the new nuttx.tmp file to nuttx.hex */
 
-  if (rename(destfile, srcfile) != OK)
+  if (rename(destfile, srcfile) != 0)
     {
       fprintf(stderr, "Failed to rename '%s' to '%s'\n", destfile, srcfile);
     }
diff --git a/nuttx/configs/pic32-starterkit/tools/mkpichex.c b/nuttx/configs/pic32-starterkit/tools/mkpichex.c
index 90d5efc549..ba7d082f9d 100644
--- a/nuttx/configs/pic32-starterkit/tools/mkpichex.c
+++ b/nuttx/configs/pic32-starterkit/tools/mkpichex.c
@@ -298,7 +298,7 @@ int main(int argc, char **argv, char **envp)
 
   /* Remove the original nuttx.hex file */
 
-  if (remove(srcfile) != OK)
+  if (remove(srcfile) != 0)
     {
       fprintf(stderr, "Failed to remove the old '%s'\n", srcfile);
     
@@ -306,7 +306,7 @@ int main(int argc, char **argv, char **envp)
 
   /* Rename the new nuttx.tmp file to nuttx.hex */
 
-  if (rename(destfile, srcfile) != OK)
+  if (rename(destfile, srcfile) != 0)
     {
       fprintf(stderr, "Failed to rename '%s' to '%s'\n", destfile, srcfile);
     }
diff --git a/nuttx/configs/sure-pic32mx/tools/mkpichex.c b/nuttx/configs/sure-pic32mx/tools/mkpichex.c
index 299866c001..70de368bd1 100644
--- a/nuttx/configs/sure-pic32mx/tools/mkpichex.c
+++ b/nuttx/configs/sure-pic32mx/tools/mkpichex.c
@@ -298,7 +298,7 @@ int main(int argc, char **argv, char **envp)
 
   /* Remove the original nuttx.hex file */
 
-  if (remove(srcfile) != OK)
+  if (remove(srcfile) != 0)
     {
       fprintf(stderr, "Failed to remove the old '%s'\n", srcfile);
     
@@ -306,7 +306,7 @@ int main(int argc, char **argv, char **envp)
 
   /* Rename the new nuttx.tmp file to nuttx.hex */
 
-  if (rename(destfile, srcfile) != OK)
+  if (rename(destfile, srcfile) != 0)
     {
       fprintf(stderr, "Failed to rename '%s' to '%s'\n", destfile, srcfile);
     }