[PATCH] sanlock: configuring the core dump output