For real functional on linux