fix incompatible option in PHP < 5.4