Remove empty file

This is not used anywhere.