include lap.h, so it gets uploaded to pypi