fix compilation issue in lua interface