@jkburges you're right. This file is removed in commit ff5eaf411189c003744efb2fee6553bb11fd5416