new: --autoexit 13    : exit after 13 seconds and print profiler (for benchmarking)