Revert "Delete dummy.file"

This reverts commit 72e86d737f6f9bbff39abe681d10249998f56dc0.