am 57cf2608: Adapt to new location of libcore

Merge commit '57cf2608873e13d609350bdcf33070e5cf0d15bf' into kraken

* commit '57cf2608873e13d609350bdcf33070e5cf0d15bf':
  Adapt to new location of libcore