diff --git a/targets/mbedos5/Makefile.travis b/targets/mbedos5/Makefile.travis
index a0ef7d28c..ed77d2658 100644
--- a/targets/mbedos5/Makefile.travis
+++ b/targets/mbedos5/Makefile.travis
@@ -25,6 +25,7 @@ all:
 install:
 	pip install --user mbed-cli
 	cd targets/mbedos5 && mbed deploy
+	pip install --user mbed-host-tests==1.4.2 # FIXME: mbed-host-tests 1.4.4 requires pyocd>=0.14.0, which cannot be satisfied for whatever reason
 	pip install --user -r targets/mbedos5/mbed-os/requirements.txt