git does not like empty directories, so this file is just a placeholder