Fixes #13 build failure