Delete vario.h~