Investigating why GLWidget destructor is not called.

GLWidget destructor not called when program terminates. See #152.