29c52ddd49
with `+'. This breaks tradition and violates Posix 1003.2. Discoverd by: luigi@labinfo.iet.unipi.it (Luigi Rizzo)