Use __attribute__((destructor)), if supported by the compiler.