Handling signals; better engine_fini