Travis: need to have --enable-shared turned on with PolyML 5.5.1