squashme! make prove work and stuff