trying to fix a strange sphinx error which seems to be not on every computer (but on jenkins)