fix build system for debian 9.12#55

bentau wants to merge 1 commit into

libvmi:masterlibvmi/python:masterfrom

bentau:masterbentau/python:masterCopy head branch name to clipboard