Tweaked PropertyInterface.h so I could use g++ 4.7.3 and boost 1.53
boost 1.41 didn't work out of the box with g++ 4.7.3, so I had to upgrade it.