Some simple file utilities