Version 1.1.6.12 fix symbolics