Make it available for php 5.3