Delete libAutomat.so