Avoid using dev-master for php-coveralls.