Update source of OS statistics of Linux system #470