fix: added smex to prelude packages