Issue #304: show filename with overloaded var_dump()