Always forget the file extension