Add requirement on php 5.3. Fixes #5