Not sure what this is. Probably some debian packaging trick. We don't want
to do any 'clever' tricks anymore, so just remove it.