2013-04-16: final post amsterdam release 0.95.3