Travis CI changed the polarssl build options