Fix error when disabling atomatigit (#48)