Fix path to sophia.h