They are most probably to be static, and we don't want to pollute the namespace.
@@ -410,3 +410,4 @@ dist-hook:
nm $$j | $(GREP) -e "U \($$look\)$$" && { echo $$j ; failed=1 ; } ; \
done ; \
[ $$failed == 0 ]
+ [ -z "$$(nm .libs/libstarpu-@STARPU_EFFECTIVE_VERSION@.so | grep -v " [Ua-z] " | grep -v " starpu" | grep -v " _starpu" | grep -v " __starpu" | grep -v " fstarpu" | grep -v " _fstarpu")" ]