fixed Linux bug in CDFreader