I have encountered a weird problem with innodb_buffer_pool_size configuration on 5.5.23-1~dotdeb.0 (Debian):

Whatever new value that I choose in my.cnf for innodb_buffer_pool_size (e.g 3G, 4G, 8000M), after restarting mysql I still get innodb_buffer_pool_size = 128 M.

Values of other my.cnf parameters can be changed without any issue.

I have also checked and have no other my.cnf on the file system other than /etc/mysql/my.dnf. So does this mean that innodb_buffer_pool_size = 128 M is hard-coded at compile time? If so, how can I fix this? If not, what can possibly have caused the problem? Thanks

P.S. I first asked this question at dba forum but people there seem not to have insight about mysql debian package.