diff --git a/targets/nuttx-stm32f4/Makefile.travis b/targets/nuttx-stm32f4/Makefile.travis
index 1e79a252d..5b41b1a6e 100644
--- a/targets/nuttx-stm32f4/Makefile.travis
+++ b/targets/nuttx-stm32f4/Makefile.travis
@@ -33,7 +33,7 @@ install-kconfig:
 	mkdir -p $(LOCAL_INSTALL)
 	# FIXME: 'autoreconf --force --install' is a workaround after
 	#        https://bitbucket.org/nuttx/tools/commits/164450f982b404fdc2b3233db51dc3eaa1f08b7f
-	cd ../tools/kconfig-frontends && autoreconf --force --install && ./configure --disable-mconf --disable-nconf --disable-gconf --disable-qconf --disable-utils --disable-shared --enable-static --prefix=$(LOCAL_INSTALL)
+	cd ../tools/kconfig-frontends && autoreconf --force --install && ./configure --disable-mconf --disable-nconf --disable-gconf --disable-qconf --disable-shared --enable-static --prefix=$(LOCAL_INSTALL)
 	$(MAKE) -C ../tools/kconfig-frontends
 	$(MAKE) -C ../tools/kconfig-frontends install
 
diff --git a/targets/nuttx-stm32f4/README.md b/targets/nuttx-stm32f4/README.md
index b98375878..e4d490269 100644
--- a/targets/nuttx-stm32f4/README.md
+++ b/targets/nuttx-stm32f4/README.md
@@ -14,9 +14,9 @@ Clone the necessary projects into a `jerry-nuttx` directory. The last tested wor
 mkdir jerry-nuttx && cd jerry-nuttx
 
 git clone https://github.com/jerryscript-project/jerryscript.git
-git clone https://bitbucket.org/nuttx/nuttx.git -b release/9.0
-git clone https://bitbucket.org/nuttx/apps.git -b release/9.0
-git clone https://github.com/texane/stlink.git -b v1.5.1
+git clone https://bitbucket.org/nuttx/nuttx.git -b releases/9.0
+git clone https://bitbucket.org/nuttx/apps.git -b releases/9.0
+git clone https://github.com/texane/stlink.git -b v1.5.1-patch
 ```
 
 The following directory structure is created after these commands:
@@ -108,7 +108,6 @@ cd nuttx-tools/kconfig-frontends
     --disable-nconf \
     --disable-gconf \
     --disable-qconf \
-    --disable-utils \
     --disable-shared \
     --enable-static \
     --prefix=${PWD}/install