Update system_linux_32.inc