[install] there is no python3-sympy on debian