Updates for csmith-MBP