Add debugging lines to pushfilenamestack XXX REBASE