Fix for 'sh:bad number' on boot in Ubuntu 12.10 script