switch to working mono binary