Updated sources (w/ GCC 4.8, w/ Fixed ART, w/ Fixed kernel)