no milestone or build-number configure options in Jigsaw yet