travis ci should be able to use <sodium.h> now