Do not use deprecated file() function

Signed-off-by: Michal Čihař <michal@cihar.com>