set push.default to simple
dim(): fall back on file(1)
new function: quit()