Added bit to chmod marvin executable; fixes #45.