diff --git a/src/ios_error.h b/src/ios_error.h
index 3ebe4a4258112..09214cdd31949 100644
--- a/src/ios_error.h
+++ b/src/ios_error.h
@@ -70,7 +70,7 @@ extern int ios_killpid(pid_t pid, int sig); // kill the current running command
 
 extern void ios_exit(int errorCode) __dead2; // set error code and exits from the thread.
 extern int ios_execv(const char *path, char* const argv[]);
-extern int ios_execve(const char *path, char* const argv[], const char** envlist);
+extern int ios_execve(const char *path, char* const argv[], char** envlist);
 extern int ios_dup2(int fd1, int fd2);
 extern char * ios_getenv(const char *name);
 
@@ -94,6 +94,7 @@ extern int ios_fputs(const char* s, FILE *stream);
 extern    int ios_fputc(int c, FILE *stream);
 extern int ios_putw(int w, FILE *stream);
 extern int ios_fflush(FILE *stream);
+extern int ios_gettty(void);
 
 #ifdef __cplusplus
 }