proper_libs was changed to pass if there's no module