diff --git a/ports/ports/bash.mk b/ports/ports/bash.mk
index 5831e6123e..6cf8fa830c 100644
--- a/ports/ports/bash.mk
+++ b/ports/ports/bash.mk
@@ -30,4 +30,5 @@ $(DOWNLOAD_DIR)/$(BASH_TGZ).verified: $(DOWNLOAD_DIR)/$(BASH_TGZ) \
 $(CONTRIB_DIR)/$(BASH): $(DOWNLOAD_DIR)/$(BASH_TGZ).verified
 	$(VERBOSE)tar xfz $(<:.verified=) -C $(CONTRIB_DIR) && touch $@
 	$(VERBOSE)patch -d $(CONTRIB_DIR)/$(BASH) -N -p1 < src/noux-pkg/bash/build.patch
+	$(VERBOSE)patch -d $(CONTRIB_DIR)/$(BASH) -N -p1 < src/noux-pkg/bash/check_dev_tty.patch
 
diff --git a/ports/src/noux-pkg/bash/check_dev_tty.patch b/ports/src/noux-pkg/bash/check_dev_tty.patch
new file mode 100644
index 0000000000..fdf390d727
--- /dev/null
+++ b/ports/src/noux-pkg/bash/check_dev_tty.patch
@@ -0,0 +1,25 @@
+Don't call 'check_dev_tty()'
+
+From: Christian Prochaska <christian.prochaska@genode-labs.com>
+
+The 'check_dev_tty()' function calls 'ttyname()', which calls the pthread
+stub function 'pthread_main_np()', which prints a 'not implemented'
+message. Calling 'check_dev_tty()' doesn't seem to be necessary, so this
+patch removes the call.
+---
+ shell.c |    2 --
+ 1 file changed, 2 deletions(-)
+
+diff --git a/shell.c b/shell.c
+index 1cadd61..2dd99e3 100644
+--- a/shell.c
++++ b/shell.c
+@@ -392,8 +392,6 @@ main (argc, argv, env)
+ #  endif
+ #endif
+ 
+-  check_dev_tty ();
+-
+ #ifdef __CYGWIN__
+   _cygwin32_check_tmp ();
+ #endif /* __CYGWIN__ */