re #91: Remove unnecessary script