We have to keep the empty file...

Fixes #3104