fix pystone/Makefile