what developer options should i use