Delete sinai2.h