port to gcc 4.7.3, update script wrappers