int-1435 quick fix
Merge pull request #14 from piotr-pieprzyk/int-1435-fix

Fix compilation broken by #12