This file marks the pattern file_server to be installed.