This hopefully fixes compilation bug on Jenkins CI server