Make ipython use 'david' profile'