Exactly.

Debian allow you to choose different solver (typical Debian). It is easy to get galactic blow up if you insist.