Bumped version to 0.4.1.2 to tell it apart from the one at hackage