Delete BasicTK.h~