added travis hack to get symfony dev-master working