Fix external system monitor on Linux.