Fix build for debian_nonhdfs