Fix exception raised by jenkins
    
    This is an exception observed in the logs, so we may just as well
    fix it now before it bites us.
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>