try to fix compilation (see #465)