--- spring_95.0/tools/pr-downloader/src/CMakeLists.txt.orig	2013-12-07 15:47:18.534925170 +0100
+++ spring_95.0/tools/pr-downloader/src/CMakeLists.txt	2013-12-07 15:47:01.695091154 +0100
@@ -40,6 +40,7 @@
 	Plasma
 	Widget
 	FileSystem
+	boost_filesystem
 )