add goal lattice and osx binary