Small change for Ubuntu compilation