Hi, Newer versions of SF (4+) no longer support autodetection of cores anyway, since the autodetection was detecting hyperthreaded cores. (See git commit a16ba5bbd1034417f864476e4ba33d35970557db.) So when a new version of SF is (hopefully) uploaded to Debian, part of this patch won't be needed or desirable. But changing the default execution path is of course correct.
Daniel