updated with rebuilt version of sources