Switching back to svn checkout since github no longer supports binary download storage