Make Scribe compile under Ubuntu 14.04