Fix compile issue.
Fix compile issue.

Sylvan's flags where not correctly given to libpins2lts_sym.la.

Meijuh/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin