improvements to catch_quit() and allowed database column names to contain colons