Travis: Initiating build for commit '7423aa79c4ae28c2a6e7582368990f8ce26a91ca' on branch '6635': #6635 rename phpunit.xml to phpunit.xml.dist. did not know it is supported out of the box by phpunit