Installing Board Manager Extensions system wide

I just updated to 1.6.4 and found that the Board Manager downloads/installs downloaded packages into the users home directory.

Is there a way to make it install into the main Arduino directory, somewhere near/same as it used to be?

Under the new system, if I want to use the Due in a workshop, every student in the class will need to download install their own copy of the arm compiler into their home directory, which is just crazy! Previously we setup the MACHINES for all users of the machine.

The board manager looks good in principle, but one of the things that was useful was knowing that every install was the same.

Any sugguestions?

thanks

Ian