Re #1114 deployment script