On Mon, May 9, 2011 at 12:05 PM, Pjotr <pliniusminor at gmail.com> wrote: > @Nick: indeed, it works fine now. Weird. But all's well that ends well. Not weird, I reloaded the git clone on the server. Sometimes this gets broken. Nick