Fix for Build Issue #12

This is an attempt at fixing the build issue. It works on my machine :-)