pushed to r45-b1
disabled mpdec by default