make sure exceptions coming from handle_end_of_file are properly catched
a couple of fixes to make the app_profile chisel work live