Specify the argument of verify-visited-file-modtime

On some Emacs version (24.3.1 in Debian) verify-visited-file-modtime
will fail when tramp is used, and the optional argument is omitted or
nil. fixes #808