depend on sodium header files too