make dump_current_page file names configurable
set up trap for unreproducible but recurrent problem