Changed cleanup() trap to be based on INT signal instead of EXIT