Make default filenames work across platforms