Fixes #40
Version changed to 2.5.12-dev