A Git copy of mysql-5.5.36