diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 53687f8d0c..3feb88f9b2 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -55,6 +55,7 @@
             <exclude>
                 <!-- we don't care about coverage of embedded libraries -->
                 <directory suffix=".php">libraries/tcpdf</directory>
+                <directory suffix=".php">libraries/phpseclib</directory>
                 <directory suffix=".php">libraries/bfShapeFiles</directory>
                 <directory suffix=".php">libraries/php-gettext</directory>
                 <directory suffix=".inc">libraries/php-gettext</directory>