SobolQRNG is not free enough for Debian

--- a/examples/Makefile.am
+++ b/examples/Makefile.am
@@ -113,11 +113,6 @@ noinst_HEADERS = 				\
 	filters/custom_mf/custom_types.h	\
 	interface/complex_interface.h		\
 	interface/complex_codelet.h		\
-	pi/pi.h					\
-	pi/SobolQRNG/sobol.h			\
-	pi/SobolQRNG/sobol_gold.h		\
-	pi/SobolQRNG/sobol_gpu.h		\
-	pi/SobolQRNG/sobol_primitives.h         \
 	reductions/dot_product.h                \
 	basic_examples/vector_scal_cpu_template.h
 
@@ -819,6 +816,7 @@ top_hello_world_top_SOURCES =			\
 # Pi #
 ######
 
+if FALSE
 if !STARPU_HAVE_WINDOWS

 examplebin_PROGRAMS +=				\
@@ -847,6 +845,7 @@ pi_pi_redux_SOURCES +=				\
 	$(STARPU_CURAND_LDFLAGS)
 endif
 endif
+endif
 
 ###########################
 # OpenGL interoperability #
