debugged override for innodb_buffer_pool_size