fix python compilation broken from a recent commit