Fixes #34 caused by different PHP version