Really fix extlib 1.5.4