ignore stupid leex/yecc type errors, update from @spec to -spec