[#1843] use renamed test file in devtest.sh