Removed files rendered unnecessary by #255