Fix build system

It worked, I think by accident, on my system.