Use only major PHP versions + 5.3.3 (#12)