Scripts for issue #95 - Ksplice