v0.5.10h: added header file