splint: fix build by using older flex