update to 0.12.4
fix compilation error with 0.13