Use Cryos' libcore