Code to handle properly the preallocated sys timer signal