Removed files in dev/steve which were replaced by T12*