Work around stupidity of automake