fix compilation (python probably will be broken, but it is ok :)