This test doesn't work. Test it with `brew test stan`.