read.oce() better informs read.coastline.*() of filename