fixed two compilation errors detected by David Luet when configuring with --enable-double-precision