Fix for CI server (tddium)