Made push and append saner.
Added --dump-defines for easier debugging.