lib.bash: adjust format for debug()