tweak srmsymc-compile yet again

Gotta work this time