Disable PHPMyAdmin setup for now as it takes too long