Make the module php 5.3 compatible