Delete sinai.h