Use old array constructor for compatibility with PHP < 5.4