use magic file from PHP 5.4.16