No longer have to change version numbers in other places. @VERSION@ To the rescue!