This file should be removed (#3615).