Fix race condition in ginac
This branch fixes a race condition which can be reproduced by this file: ginac.
A causa di un intervento di manutenzione il servizio non sarà disponibile il 17/05 dalle 08:30 alle 12:30 (CEST) - The Gitlab service will not be available on May 17th from 08:30 to 12:30 (CEST)
This branch fixes a race condition which can be reproduced by this file: ginac.