mass-renaming 5.0 into 4.3 - db still named planetlab5 and planetlab5.sql