don't require php 5.4