Update system_bsd_32.inc