added back in symfony dev server script