Travis fix: build netgen 5.3.1