Stick to a single bash script, for now"