minor fixes to make it run on latest version of macos#19

desaibhargav wants to merge 1 commit into

martius-lab:mainmartius-lab/depRL:mainfrom

desaibhargav:patch/macosdesaibhargav/depRL:patch/macosCopy head branch name to clipboard