This file should not be part of the patch, should it?