Specify binary explicitly for Travis's sake