Fix some syntax errors for heisenberg in the linux version