This reverts commit cdc012fa. This accidentally deleted a test file (not sure how that became part of the commit).