Travis: Initiating build for commit '9dee18336942b9e2b1fc85a41be76005b68b7183' on branch 'master': use php instead of shell commands, to be more system independent