build fixes for ubuntu 13.10