bump syntactic to version 1.8