fix header-only file crash, fixes #67