Giving up on exiting pico programmatically