update #298: fix compilation