dev boxes are still on 5.3