add library for exit()