Remove some files inadvertently checked in.