Tentative to fix non reproducable build error on github servers