Now checks out specific version of phpmyadmin (4.2.7)