Fix problems with prebuilt shared libs, formatting errors, etc.