fix compilation for 0.10-pre