dirty fix for #85 (make build system happy)