fix php test: check if dotdeb_php_pinning file exists

There was a wrong file check in the php minitest wen using version 'php54'