enable mycrypt on Ubuntu 13.10