Fix compilation for Ubuntu