fix 'expected identifier' error on linux

Fixes #1