Removed Maven; fixed a small compilation bug in 1.7.2