Require package without checks
Require smex when it is available