modified:   other/linux.cpp