Confirmed on my machine. Same goes for $isfile().

If you want a hacky workaround, you can use the $file command, e.g.:
Code:
if ($file(ip.txt).size == $null) {
  echo File doesn't exist
}