fix tutorial mini-gtk when run from travis-ci (-boost)