Change core lib location in Arduino IDE

Hello,
i am a french stduent (sorry for my bad english...) and i modified the core library (for a project at university) in order to be able the UART to send 9 data bits per frame. It works on my PC and i developed with a custom makefile in CodeBlocks. But i have to make it work in the University with Arduino IDE and i don't have the rights to modifie the folder "/usr/share/arduino", is there a mean to configure the core lib location ?

I have tried to set the "build.core" attribute in preferences.txt, but it didn't work:
I have copied the /usr/share/arduino in /home/USER/.arduino/core and put "build.core=/home/USER/.arduino/core/arduino/hardware/arduino:arduino" in preferences.txt. It does not work, it get the /usr/share/arduino files ...

How can change the core library location ?

Thank you !

You could (theoretically) implement a new "board" called something like "UNOw9bitUART"; and have it's core be in a user directory. Users would install your expansion similar to the way they install Arduino Tiny or Sanguino support, and the core would live in something like ~/Arduino/hardware/UNOw9bitUART/avr/cores/* (I think you would have to maintain a parallel set of the rest of the core as well. I haven't seen an obvious way to "replace this one core file and use the standard core for everything else." Perhaps in 1.5.x it will be possible.

Thank you for your reply, and it works using:

##############################################################

micro9.name=Arduino 9bit
...
micro9.build.core=../../../../../../home/HOME/.arduino/core/9bit_serial/hardware/arduino/cores
micro9.build.variant=micro

But if in "micro9.build.core", i put "/home/HOME/.arduino/core/9bit_serial/hardware/arduino/cores", it just concatenates with "/us/share/arduino"
Is there a mean to enter a absolute path ?